Automated Testing with RT - Tester -

نویسندگان

  • Markus Dahlweid
  • Oliver Meyer
  • Jan Peleska
چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automated Testing with RT-Tester - Theoretical Issues Driven by Practical Needs

The RT-Tester tool has been developed by Verified Systems International in cooperation with the TZI at Bremen University in order to support automated testing for reactive real-time systems. In this article, we give an overview on theoretical issues concerning variants of timed transition systems and their interpretation in hard real-time which have been stimulated by the practical requirements...

متن کامل

Classbench: a Methodology and Framework for Automated Class Testing Classbench: a Methodology and Framework for Automated Class Testing

In contrast to the explosion of activity in object-oriented design and programming, little attention has been given to object testing. We present a novel approach to automated testing designed especially for collection classes. In the ClassBench methodology, a testgraph partially models the states and transitions of the class-under-test (CUT) state/transition graph. To determine the expected be...

متن کامل

Recursive Learning: An Attractive Alternative to the Decision Tree for Test Genration in Digital Circuits

Editorial Board Pattern Sensitivity in MOS Memories p. 2 Diagnostic Testing of MOS Random Access Memories p. 6 Testing Semiconductor Memories p. 11 What Is Necessary for Testing "ROMs" and "PROMs"? p. 26 Microprocessor Function Test Generation on the Sentry 600 p. 32 A Tutorial Paper on Software Approaches to Testing of Microprocessor Systems p. 41 Can a User Test LSI Microprocessors Effectivel...

متن کامل

DART: A Framework for Regression Testing "Nightly/daily Builds" of GUI Applications

“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is compiled, linked, and (re)tested with the goal of validating its basic functionality. Although successful for conventional software, smoke tests are difficult to develop and automatically rerun for software that has a graphica...

متن کامل

Prioritization based on test suites by analysing automated testing strategies to minimize selected test process

Software testing is a process of refining faults and errors in a software system or project. Software testing is done by both manually and systematically. Automated testing of software is mostly followed in today’s industry. To achieve this, the concern project is divided into various test suites and then testing is done. These test suites should be minimized, selected and prioritized to make t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2000